Constance Heitmeyer: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Program Synthesis from Formal Requirements Specifications Using APTS

Elizabeth I. Leonard, Constance L. Heitmeyer

Journal:

Higher-Order and Symbolic Computation

Year:

2003

Language:

english

File:

PDF, 156 KB

english, 2003

2

A security model for military message systems

Landwehr, Carl E., Heitmeyer, Constance L., McLean, John

Journal:

ACM Transactions on Computer Systems

Year:

1984

Language:

english

File:

PDF, 1.68 MB

english, 1984

3

[ACM Press the 13th ACM conference - Alexandria, Virginia, USA (2006.10.30-2006.11.03)] Proceedings of the 13th ACM conference on Computer and communications security - CCS '06 - Formal specification and verification of data separation in a separation kernel for an embedded system

Heitmeyer, Constance L., Archer, Myla, Leonard, Elizabeth I., McLean, John

Year:

2006

Language:

english

File:

PDF, 279 KB

english, 2006

4

[Lecture Notes in Computer Science] FM 2016: Formal Methods Volume 9995 ||

Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna

Year:

2016

Language:

english

File:

PDF, 29.75 MB

english, 2016

5

On the Role of Formal Methods in Software Certification: An Experience Report

Constance L. Heitmeyer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 189 KB

english, 2009

6

Requirements Engineering and Technology Transfer: Obstacles, Incentives and Improvement Agenda

Hermann Kaindl, Sjaak Brinkkemper, Janis A. Bubenko Jr, Barbara Farbey, Sol J. Greenspan, Constance L. Heitmeyer*, Julio Cesar Sampaio do Prado Leite†, Nancy R. Mead, John Mylopoulos, Jawed Siddiqi

Journal:

Requirements Engineering

Year:

2002

Language:

english

File:

PDF, 147 KB

english, 2002

7

Applying infinite state model checking and other analysis techniques to tabular requirements specifications of

Tevfik Bultan, Constance Heitmeyer

Journal:

Design Automation for Embedded Systems

Year:

2008

Language:

english

File:

PDF, 712 KB

english, 2008

8

Guest editorial

Constance Heitmeyer, Jean-Pierre Talpin

Journal:

Formal Methods in System Design

Year:

2007

Language:

english

File:

PDF, 79 KB

english, 2007

9

Model-based construction and verification of critical systems using composition and partial refinement

Ralph D. Jeffords, Constance L. Heitmeyer, Myla M. Archer, Elizabeth I. Leonard

Journal:

Formal Methods in System Design

Year:

2010

Language:

english

File:

PDF, 1.13 MB

english, 2010

10

Managing Complexity in Software Development with Formally Based Tools

Constance Heitmeyer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 183 KB

english, 2004

11

Model Checking Complete Requirements Specifications Using Abstraction

Ramesh Bharadwaj, Constance L. Heitmeyer

Journal:

Automated Software Engineering

Year:

1999

Language:

english

File:

PDF, 173 KB

english, 1999

12

Proving Invariants of I/O Automata with TAME

Myla Archer, Constance Heitmeyer, Elvinia Riccobene

Journal:

Automated Software Engineering

Year:

2002

Language:

english

File:

PDF, 347 KB

english, 2002

13

[IEEE 2013 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE) - San Francisco, CA, USA (2013.05.25-2013.05.26)] 2013 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE) - High assurance human-centric decision systems

Heitmeyer, Constance, Pickett, Marc, Breslow, Len, Aha, David, Trafton, J. Greg, Leonard, Elizabeth

Year:

2013

Language:

english

File:

PDF, 1.00 MB

english, 2013

14

[IEEE 2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012) - Arlington, VA, USA (2012.07.16-2012.07.17)] Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) - Direct generation of invariants for reactive models

Leonard, Elizabeth I., Archer, Myla M., Heitmeyer, Constance L., Jeffords, Ralph D.

Year:

2012

Language:

english

File:

PDF, 410 KB

english, 2012

15

[IEEE 15th IEEE International Requirements Engineering Conference (RE 2007) - Delhi, India (2007.10.15-2007.10.19)] 15th IEEE International Requirements Engineering Conference (RE 2007) - RE Theory Meets Software Practice: Lessons from the Software Development Trenches

Heitmeyer, Constance, Jeffords, Ralph, Bharadwaj, Ramesh, Archer, Myla

Year:

2007

Language:

english

File:

PDF, 513 KB

english, 2007

16

Building high assurance human-centric decision systems

Heitmeyer, Constance L., Pickett, Marc, Leonard, Elizabeth I., Archer, Myla M., Ray, Indrakshi, Aha, David W., Trafton, J. Gregory

Journal:

Automated Software Engineering

Year:

2015

Language:

english

File:

PDF, 1.56 MB

english, 2015

17

Automated consistency checking of requirements specifications

Heitmeyer, Constance L., Jeffords, Ralph D., Labaw, Bruce G.

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1996

Language:

english

File:

PDF, 395 KB

english, 1996

18

Using model checking to generate tests from requirements specifications

Gargantini, Angelo, Heitmeyer, Constance

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1999

Language:

english

File:

PDF, 1.38 MB

english, 1999

19

[ACM Press the 6th ACM SIGSOFT international symposium - Lake Buena Vista, Florida, United States (1998.11.01-1998.11.05)] Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering - SIGSOFT '98/FSE-6 - Automatic generation of state invariants from requirements specifications

Jeffords, Ralph, Heitmeyer, Constance

Year:

1998

Language:

english

File:

PDF, 1.26 MB

english, 1998

20

[ACM Press the second workshop - Clearwater Beach, Florida, United States (1998.03.04-1998.03.05)] Proceedings of the second workshop on Formal methods in software practice - FMSP '98 - Applying the SCR requirements method to a weapons control panel

Heitmeyer, Constance, Kirby, James, Labaw, Bruce

Year:

1998

Language:

english

File:

PDF, 1.77 MB

english, 1998

21

[ACM Press the SIGCHI conference - Monterey, California, United States (1992.05.03-1992.05.07)] Proceedings of the SIGCHI conference on Human factors in computing systems - CHI '92 - Evaluating two aspects of direct manipulation in advanced cockpits

Ballas, James A., Heitmeyer, Constance L., Pérez, Manuel A.

Year:

1992

Language:

english

File:

PDF, 1.00 MB

english, 1992

22

[ACM Press the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium - Helsinki, Finland (2003.09.01-2003.09.05)] Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03 - A strategy for efficiently verifying requirements

Jeffords, Ralph D., Heitmeyer, Constance L.

Year:

2003

Language:

english

File:

PDF, 238 KB

english, 2003

23

[ACM Press the 19th international conference - Boston, Massachusetts, United States (1997.05.17-1997.05.23)] Proceedings of the 19th international conference on Software engineering - ICSE '97 - Rigorous requirements for real-time systems

Faulk, Stuart, Heitmeyer, Constance

Year:

1997

Language:

english

File:

PDF, 356 KB

english, 1997

24

[ACM Press the third workshop - Portland, Oregon, United States (2000..-..)] Proceedings of the third workshop on Formal methods in software practice - FMSP '00 - Using TAME to prove invariants of automata models

Archer, Myla, Heitmeyer, Constance, Riccobene, Elvinia

Year:

2000

Language:

english

File:

PDF, 643 KB

english, 2000

25

[ACM Press the 19th international conference - Boston, Massachusetts, United States (1997.05.17-1997.05.23)] Proceedings of the 19th international conference on Software engineering - ICSE '97 - The SCR method for formally specifying, verifying, and validating requirements

Heitmeyer, Constance, Kirby, James, Labaw, Bruce

Year:

1997

Language:

english

File:

PDF, 420 KB

english, 1997

26

[ACM Press the 27th international conference - St. Louis, MO, USA (2005.05.15-2005.05.21)] Proceedings of the 27th international conference on Software engineering - ICSE '05 - Introduction to the experience reports track

Heitmeyer, Constance, Pohl, Klaus

Year:

2005

Language:

english

File:

PDF, 98 KB

english, 2005

27

[IEEE 1984 IEEE Symposium on Security and Privacy - Oakland, CA, USA (1984.4.29-1984.5.2)] 1984 IEEE Symposium on Security and Privacy - A Formal Statement of the MMS Security Model

McLean, John, Landwehr, Carl E., Heitmeyer, Constance L.

Year:

1984

Language:

english

File:

PDF, 729 KB

english, 1984

28

[American Institute of Aeronautics and Astronautics 8th Computing in Aerospace Conference - Baltimore,MD,U.S.A. (21 October 1991 - 24 October 1991)] 8th Computing in Aerospace Conference - Interface styles for the intelligent cockpit - Factors influencing automation deficit

BALLAS, JAMES, HEITMEYER, CONSTANCE, PEREZ, MANUEL

Year:

1991

Language:

english

File:

PDF, 281 KB

english, 1991

29

[IEEE 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Florence, Italy (2015.5.18-2015.5.18)] 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering - Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation

Heitmeyer, Constance L., Leonard, Elizabeth I.

Year:

2015

Language:

english

File:

PDF, 1.15 MB

english, 2015

30

Automatic generation of state invariants from requirements specifications

Jeffords, Ralph, Heitmeyer, Constance

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1998

Language:

english

File:

PDF, 1.26 MB

english, 1998

31

A strategy for efficiently verifying requirements

Jeffords, Ralph D., Heitmeyer, Constance L.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 238 KB

english, 2003

32

Generating optimized code from SCR specifications

Rothamel, Tom, Liu, Yanhong A., Heitmeyer, Constance L., Leonard, Elizabeth I.

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 301 KB

english, 2006

33

[Lecture Notes in Computer Science] FM 2016: Formal Methods Volume 9995 || Error Invariants for Concurrent Traces

Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna

Year:

2016

Language:

english

File:

PDF, 1.02 MB

english, 2016

34

[Lecture Notes in Computer Science] FM 2016: Formal Methods Volume 9995 || Discounted Duration Calculus

Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna

Year:

2016

Language:

english

File:

PDF, 320 KB

english, 2016

35

[Lecture Notes in Computer Science] FM 2016: Formal Methods Volume 9995 || Finite Model Finding Using the Logic of Equality with Uninterpreted Functions

Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna

Year:

2016

Language:

english

File:

PDF, 417 KB

english, 2016

36

[Lecture Notes in Computer Science] FM 2016: Formal Methods Volume 9995 || RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions

Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna

Year:

2016

Language:

english

File:

PDF, 352 KB

english, 2016

37

[Lecture Notes in Computer Science] FM 2016: Formal Methods Volume 9995 || Compositional Parameter Synthesis

Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna

Year:

2016

Language:

english

File:

PDF, 498 KB

english, 2016

38

[Lecture Notes in Computer Science] FM 2016: Formal Methods Volume 9995 || Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor

Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna

Year:

2016

Language:

english

File:

PDF, 812 KB

english, 2016

39

[Lecture Notes in Computer Science] FM 2016: Formal Methods Volume 9995 || A Model Checking Approach to Discrete Bifurcation Analysis

Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna

Year:

2016

Language:

english

File:

PDF, 1.90 MB

english, 2016

40

[Lecture Notes in Computer Science] FM 2016: Formal Methods Volume 9995 || Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems

Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna

Year:

2016

Language:

english

File:

PDF, 326 KB

english, 2016

41

[Lecture Notes in Computer Science] FM 2016: Formal Methods Volume 9995 || Finding Suitable Variability Abstractions for Family-Based Analysis

Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna

Year:

2016

Language:

english

File:

PDF, 539 KB

english, 2016

42

[Lecture Notes in Computer Science] FM 2016: Formal Methods Volume 9995 || Validated Simulation-Based Verification of Delayed Differential Dynamics

Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna

Year:

2016

Language:

english

File:

PDF, 1.05 MB

english, 2016

43

[Lecture Notes in Computer Science] FM 2016: Formal Methods Volume 9995 || SpecCert: Specifying and Verifying Hardware-Based Security Enforcement

Fitzgerald, John, Heitmeyer, Constance, Gnesi, Stefania, Philippou, Anna

Year:

2016

Language:

english

File:

PDF, 243 KB

english, 2016

44

Editorial

Gnesi, Stefania, Cavalcanti, Ana, Fitzgerald, John, Heitmeyer, Constance

Journal:

Formal Aspects of Computing

Year:

2019

File:

PDF, 126 KB

2019

45

[ACM Press the 15th ACM-IEEE International Conference - Vienna, Austria (2017.09.29-2017.10.02)] Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 - Property templates for checking source code security

Leonard, Elizabeth I., Archer, Myla M., Heitmeyer, Constance L.

Year:

2017

Language:

english

File:

PDF, 178 KB

english, 2017

46

[ACM Press the 15th ACM-IEEE International Conference - Vienna, Austria (2017.09.29-2017.10.02)] Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 - Property templates for checking source code security

Leonard, Elizabeth I., Archer, Myla M., Heitmeyer, Constance L.

Year:

2017

File:

PDF, 178 KB

2017